$\forall$$M$:msga\{i:l\}. ma{-}shape\{i:l\}($M$) $\in$ Type$_{\mbox{\scriptsize i'}}$